Monad は継続、Applicative は並列
https://blog.ojisan.io/monad-applicative/
#Monad
#Applicative